1. Computer science logic : 9th International Workshop, CSL'95 : Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
پدیدآورنده : Hans Kleine Buning, ed.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1092
2. Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
پدیدآورنده : Hans Kleine Buning, )ed.(
موضوع : Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
3. Computer science logic : 9th international workshop, CSL 95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
پدیدآورنده : Hans Kleine Buning, )ed.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer science - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W625
1995
